\{$I$\}($e$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$$\uparrow$($e$ $\in_{b}$ $I$)